$\forall$$a$,$b$:$\mathbb{N}$. divides($a$; $b$) $\Rightarrow$ divides($b$; $a$) $\Rightarrow$ ($a$ = $b$ $\in$ $\mathbb{Z}$)